For a particular table,
SELECT pg_size_pretty( pg_total_relation_size('tablename') );
/** | |
* Enqueue Google Analytics 4 script | |
* | |
*/ | |
/* Add Google Analytics 4 Site Tag as close to | |
the opening <head> tag as possible | |
=====================================================*/ | |
define("GA4","G-XXXXXX", false); // Replace GA4 ID |
REM Delete eval folder with licence key and options.xml which contains a reference to it | |
for %%I in ("WebStorm", "IntelliJ", "CLion", "Rider", "GoLand", "PhpStorm", "Resharper", "PyCharm") do ( | |
for /d %%a in ("%USERPROFILE%\.%%I*") do ( | |
rd /s /q "%%a/config/eval" | |
del /q "%%a\config\options\other.xml" | |
) | |
) | |
REM Delete registry key and jetbrains folder (not sure if needet but however) | |
rmdir /s /q "%APPDATA%\JetBrains" |
/** @format */ | |
import { Map, TileLayer, Marker, Popup } from "react-leaflet"; | |
import React, { useEffect, useState, useRef } from "react"; | |
import { geosearch } from "esri-leaflet-geocoder"; | |
import "leaflet/dist/leaflet.css"; | |
import "esri-leaflet-geocoder/dist/esri-leaflet-geocoder.css"; | |
import L from "leaflet"; | |
function MapView(props) { |
name: Security audit | |
on: | |
schedule: | |
- cron: '0 0 * * *' | |
push: | |
paths: | |
- '**/Cargo.toml' | |
- '**/Cargo.lock' | |
jobs: | |
security_audit: |
<?php | |
class Node | |
{ | |
public $value; | |
public $next; | |
public function __construct($value) | |
{ | |
$this->value = $value; |
export const helpHttp = () => { | |
const customFetch = (endpoint, options) => { | |
const defaultHeader = { | |
accept: "application/json", | |
}; | |
const controller = new AbortController(); | |
options.signal = controller.signal; | |
options.method = options.method || "GET"; |
base_model: mistral-community/Mixtral-8x22B-v0.1 | |
model_type: MixtralForCausalLM | |
tokenizer_type: AutoTokenizer | |
is_mistral_derived_model: false | |
trust_remote_code: true | |
load_in_8bit: false | |
load_in_4bit: true | |
strict: false |
#!/bin/bash | |
# Inspired on https://david-kerwick.github.io/2017-01-04-combining-zsh-history-files/ | |
set -e | |
history1=$1 | |
history2=$2 | |
merged=$3 | |
echo "Merging history files: $history1 + $history2" | |
test ! -f $history1 && echo "File $history1 not found" && exit 1 |